لمعة 5 شروط الثالث إيجاب الصغرى و إلا لجاز توافق الطرفين - بأن سلب النوع و فصله عما يباين جنسه - أو سلب أحد النوعين عن الآخر و حمل فصله عليه . و فعليتها و إلا لزم الاختلاف - و كلية إحداهما و إلا لجاز أن يكون [ البعض - المحكوم عليه بالأصغر غير البعض ] المحكوم عليه بالأكبر . فضروبه ستة لسقوط الثمانية بالشرط الكيفي - و اثنين بالكمي و هي الموجبتان من الكم - مع الكليتين من الكيف و الموجبة الكلية مع الجزئيتين منه - و كيفية الترتيب لا يخفى على الفطن - و النتيجة في الأوتار موجبة جزئية - و في الأشفاع سالبة جزئية - و ما لزمت [ كليا ] في الأولين فما ظنك بغيرهما - لاحتمال كون الأصغر أعم من الأوسط المساوي للأكبر - أو المشارك له في الاندراج تحت الأصغر - فامتنع إيجاب الآخر لجميع الأعم أو سلبه عنها - و البيان بالخلف في الكل و هو ضم نقيض النتيجة - إلى الصغرى لينتج نقيض الكبرى